From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4
medium.com·4h·
Discuss: Hacker News
🤝Distributed Consensus
Issue 481
haskellweekly.news·5h
🔗Functional Compilers
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·3d
🧠Computational Logic
Gradual negation types and the Python type system
jellezijlstra.github.io·10h·
Discuss: Hacker News
🔬Refinement Types
AwesomeAssertions/AwesomeAssertions
github.com·1d
✅Format Verification
A Wide Reduction Trick (2022)
words.filippo.io·14h·
Discuss: Lobsters, Hacker News
🌳Archive Merkle Trees
How to actually use Model Context Protocol
seangoedecke.com·17h
⚡Proof Automation
Python Fundamentals: case
dev.to·5h·
Discuss: DEV
✅Format Verification
Functional Abstract Interpretation
simon.peytonjones.org·2d·
Discuss: Hacker News
🔗Functional Compilers
Almost Always Auto (2013)
herbsutter.com·8h·
Discuss: Hacker News
🔒Type Safety
State of the Art of Prompt Engineering • Mike Taylor • GOTO 2025
youtube.com·5h
🖥️Terminal Renaissance
A distributed systems reliability glossary
antithesis.com·2d·
Discuss: Lobsters, Hacker News, r/programming
✅Archive Fixity
Introducing Amazon Bedrock AgentCore: Securely deploy and operate AI agents at any scale (preview)
aws.amazon.com·1d·
Discuss: Hacker News
🤖Network Automation
Reactive Java Operator-fusion (2016)
akarnokd.blogspot.com·22h·
Discuss: Hacker News
✨Algebraic Effects
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.com·2d
🦀Rust Verification
The Impact of Prompt Bloat on LLM Output Quality
mlops.community·6h·
Discuss: Hacker News
✨Effect Handlers
Detection Engineering: Practicing Detection-as-Code – Repository – Part 2
blog.nviso.eu·9h
🔄Reproducible Builds
The Power and Potential of Zero-Knowledge Proofs
cacm.acm.org·2h
🔐Quantum Security
Why Even Legendary Games Like Wesnoth Hide Bugs in Plain Sight
hackernoon.com·10h
📜Proof Carrying Code
Kiro and the future of AI spec-driven software development
kiro.dev·1d·
Discuss: Lobsters, Hacker News
🔌Interface Evolution